function navigate(jspName) {
    var menu = document.getElementById("dolphinnav");
    var atag = menu.getElementsByTagName("a");
    for (i = 0; i < atag.length; i++) {
        if (atag[i].getAttribute("href") == jspName) {
            atag[i].setAttribute("class", "current");
        }
    }
}